1. Identificação | |
Tipo de Referência | Tese ou Dissertação (Thesis) |
Site | mtc-m21d.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34T/45FQRFS |
Repositório | sid.inpe.br/mtc-m21d/2021/09.24.11.10 |
Última Atualização | 2021:12.06.12.55.47 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21d/2021/09.24.11.10.05 |
Última Atualização dos Metadados | 2022:04.03.23.15.33 (UTC) administrator |
Chave Secundária | INPE-18510-TDI/3157 |
Chave de Citação | Sales:2021:InSoMe |
Título | Uma investigação sobre meta e hiper-heurísticas para teste de integração de software |
Título Alternativo | Investigating meta and hyper-heuristics for software integration testing |
Curso | CAP-COMP-DIPGR-INPE-MCTI-GOV-BR |
Ano | 2021 |
Data | 2021-09-20 |
Data de Acesso | 05 maio 2024 |
Tipo da Tese | Dissertação (Mestrado em Computação Aplicada) |
Tipo Secundário | TDI |
Número de Páginas | 133 |
Número de Arquivos | 1 |
Tamanho | 2697 KiB |
|
2. Contextualização | |
Autor | Sales, Camila Pereira |
Banca | Stephany, Stephan (presidente) Santiago Júnior, Valdivino Alexandre de (orientador) Gomes, Karine Reis Ferreira Vergilio, Silvia Regina |
Endereço de e-Mail | camila.sales@inpe.br |
Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) |
Cidade | São José dos Campos |
Histórico (UTC) | 2021-09-24 11:10:05 :: camila.sales@inpe.br -> administrator :: 2021-09-27 15:56:35 :: administrator -> pubtc@inpe.br :: 2021-10-26 12:46:47 :: pubtc@inpe.br -> camila.sales@inpe.br :: 2021-11-09 11:25:26 :: camila.sales@inpe.br -> pubtc@inpe.br :: 2021-11-09 11:50:39 :: pubtc@inpe.br -> camila.sales@inpe.br :: 2021-11-09 12:12:57 :: camila.sales@inpe.br -> pubtc@inpe.br :: 2021-12-13 18:47:57 :: pubtc@inpe.br -> simone :: 2021-12-13 18:48:46 :: simone :: -> 2021 2021-12-13 18:48:46 :: simone -> administrator :: 2021 2022-04-03 23:15:33 :: administrator -> :: 2021 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | teste de integração de software meta-heurísticas hiper-heurísticas aplicações em C++ automatização software integration testing meta-heuristics hyper-heuristics C++ Applications automation |
Resumo | Teste de software é uma atividade que permite melhorar a qualidade de aplicações e, nesse contexto, existe um subcampo que é o Teste Baseado em Busca (TBB). A despeito de existir um grande interesse da comunidade acadêmica em TBB, existem poucos trabalhos que lidam com teste de integração de software via métodos de otimização e, mesmo assim, tais esforços não se relacionam à geração de casos de teste de integração. Além disso, é muito interessante que os métodos/metodologias possam gerar casos de teste com base apenas no código-fonte desde que, em muitos casos, não há uma documentação extensa sobre o produto. Essa dissertação de mestrado objetiva contribuir para a atividade de teste de integração de software via algoritmos de otimização, nesse caso meta-heurísticas e hiper-heurísticas. Duas hipóteses foram formuladas, sendo uma relacionada a viabilidade dos algoritmos de otimização para gerar os casos de teste de integração, e a outra em termos de quais algoritmos teriam um melhor desempenho sob a ótica da comunidade de otimização. Um método, denominado Software Integration Testing via Metaheuristics and Hyper-heuristics (InMeHy), foi concebido para alcançar o objetivo de viabilidade, assim como ferramentas foram implementadas para apoiar o método. O InMeHy propõe gerar casos de teste baseando-se apenas no código-fonte desenvolvido em C++. Dois experimentos controlados, considerando como estudos de caso produtos relacionados a Sistemas de Informações Geográficas (SIGs), foram realizados para abordar a hipótese sobre desempenho, que no fundo trata de analisar a capacidade de generalização dos algoritmos. A hipótese sobre viabilidade foi aceita. No entanto, a segunda hipótese sobre desempenho foi rejeitada no contexto dos experimentos realizados, considerando os algoritmos e estudos de caso selecionados, onde pode-se afirmar que as meta-heurísticas clássicas (mais antigas) tiveram um melhor desempenho, não somente comparadas às hiper-heurísticas de seleção selecionadas mas, também, em relação às meta-heurísticas para inúmeros objetivos (many-objective) mais recentes. No entanto, é importante enfatizar que ainda não se pode generalizar as conclusões sobre a resposta ao problema da generalização dos algoritmos de otimização, pelo fato da hipótese sobre desempenho ter sido rejeitada. Em outras palavras, isso não pode ser entendido como um fato de que as meta-heurísticas multiobjetivo (clássicas) são realmente melhores do que as hiper-heurísticas de seleção e do que as meta-heurísticas para inúmeros objetivos, para qualquer tipo de problema. Além disso, essa conclusão, baseada em experimentações, parece estar relacionada aos teoremas sem almoço grátis (no free lunch theorems). Portanto, deseja-se apontar a necessidade de um número maior de experimentações rigorosas, para abordar a questão da generalização dos algoritmos de otimização na prática. ABSTRACT: Software testing is an activity that allows improving the quality of applications and, in this context, there is a subarea which is Search-Based Software Testing (SBST). Despite the great interest of the academic community in SBTS, there are few studies dealing with software integration testing via optimization methods, and even so, such efforts are not related to the generation of integration test cases. Also, it is very interesting that the methods/methodologies can generate test cases based only on the source code since, in many cases, there is not extensive documentation about the product. This masters thesis aims to contribute to the software integration testing activity via optimization algorithms, in this case meta-heuristics and hyper-heuristics. Two hypotheses were formulated, one related to the feasibility of optimization algorithms to generate the integration test cases, and the other in terms of which algorithms would perform better from the perspective of the optimization community. A method, called Software Integration Testing via Meta-heuristics and Hyper-heuristics (InMeHy), was conceived to achieve the feasibility goal, as well as tools were implemented to support the method. InMeHy proposes to generate test cases based only on the source code developed in C++. Two controlled experiments, considering as case studies products related to Geographic Information Systems (GIS), were carried out to address the performance hypothesis, which ultimately deals with analyzing the generalizability of algorithms. The feasibility hypothesis was accepted. However, the second hypothesis about performance was rejected in the context of the experiments performed, considering the selected algorithms and case studies, where it can be said that the classical (older) meta-heuristics performed better not only compared to the selected selection hyper-heuristics but also in relation to meta-heuristics for a number of more recent (many-objective) goals. However, it is important to emphasize that the conclusions about the answer to the problem of generalization of optimization algorithms cannot be generalized yet, because the hypothesis about performance has been rejected. In other words, this cannot be understood as a fact that multi-objective (classical) meta-heuristics are actually better than selection hyper-heuristics and multipurpose metaheuristics for any type of problem. Furthermore, this conclusion, based on experiments, seems to be related to the no free lunch theorems. Therefore, we want to point out the need for a greater number of rigorous experiments to address the issue of generalization of optimization algorithms in practice. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Uma investigação sobre... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGIP > Uma investigação sobre... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | originais/@4primeirasPaginas.pdf | 06/12/2021 09:43 | 413.2 KiB | originais/DEFESA FINAL DE DISSERTAÇÃO DE CAMILA PEREIRA SALES - CAP.pdf | 02/12/2021 16:32 | 64.1 KiB | originais/Dissertacao_INPE__Camila_Sales.pdf | 09/11/2021 10:50 | 2.3 MiB | |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34T/45FQRFS |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34T/45FQRFS |
Idioma | pt |
Arquivo Alvo | publicacao.pdf |
Grupo de Usuários | camila.sales@inpe.br pubtc@inpe.br simone |
Visibilidade | shown |
Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | urlib.net/www/2021/06.04.03.40.25 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2PHGS 8JMKD3MGPCW/46KUES5 |
Acervo Hospedeiro | urlib.net/www/2021/06.04.03.40 |
|
6. Notas | |
Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype |
|